Formations, bihomorphisms and natural transformations
نویسندگان
چکیده
منابع مشابه
A∞-subalgebras and Natural Transformations
The setup is as follows. We consider pairs (A,B) consisting of an A∞-algebra B and a subalgebra A. We will be primarily working with the category V = H0(mod(A)) of Amodules. However, that category inherits certain additional data from the presence of B. The most important such data are a functor F : V → V , given by tensor product with the quotient bimodule (B/A)[−1], together with a natural tr...
متن کاملNatural Transformations. Discrete Categories
We present well known concepts of category theory: natural transofmations and functor categories, and prove propositions related to. Because of the formalization it proved to be convenient to introduce some auxiliary notions, for instance: transformations. We mean by a transformation of a functor F to a functor G, both covariant functors from A to B, a function mapping the objects of A to the m...
متن کاملNatural Transformations of Organismic Structures
Organismic sets were built by Nicolas Rashevsky into a representation of biological organisms and societies on a relational basis (Rashevsky, 1954; 1960; 1966a,b; 1967a,b,c; 1968a,b,c; 1969a,b,c; 1970a,b,c; 1971a,b,c), and a wide range of biological and social phenomena were explained within this framework. Attempts to produce axioms for this theory using logical functors and categories (as wel...
متن کاملAlgebraic Domains of Natural Transformations
Motivated by the semantics of polymorphic programming languages and typed -calculi, by formal methods in functor category semantics, and by well-known categorical and domaintheoretical constructs, we study domains of natural transformations F : !G of functors F;G: ! C with a small category as source and a cartesian closed category of Scottdomains C as target. We put constraints on the image arr...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Bulletin of the Australian Mathematical Society
سال: 2000
ISSN: 0004-9727,1755-1633
DOI: 10.1017/s000497270002222x